TEXT_BASE = 0x83008000
